axiom 6.1